1. Advanced modeling for transit operations and service planning /
پدیدآورنده : edited by William H.K. Lam and Michael G.H. Bell.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Transportation-- Planning-- Mathematical models.,BUSINESS & ECONOMICS-- Industries-- Transportation.,Business & Economics.,Transportation Economics.,Transportation-- Planning-- Mathematical models.,TRANSPORTATION-- Public Transportation.
رده :
HE152
.
5
.
A3
2003eb
2. Hardware design verification
پدیدآورنده : / William K. Lam
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Integrated circuits- Verification
رده :
TK7874
.
58
.
L36
2005
3. Hardware design verification: simulation and formal method-based approaches
پدیدآورنده : Lam, William K. C.
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : Verification ، Integrated circuits
رده :
TK
7874
.
58
.
L36
4. Hardware design verification :simulation and formal method-based approaches. ]CD[
پدیدآورنده : Lam, William K. C., William K. Lam
موضوع : Verification ، Integrated circuits
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
5. Hardware design verification : simulation and formal method-based approaches
پدیدآورنده : Lam, William K. C., 2691-
کتابخانه: (طهران)
موضوع : ، Integrated circuits -- Verification
رده :
TK
7874
.
58
.
L248H2
